Skip to content

🧹 Refresh docs and landing page - #98

Merged
davidgasquez merged 5 commits into
mainfrom
docs-web-refresh
Oct 24, 2025
Merged

🧹 Refresh docs and landing page#98
davidgasquez merged 5 commits into
mainfrom
docs-web-refresh

Conversation

@davidgasquez

Copy link
Copy Markdown
Member
  • Refresh polars and huggingface-hub pins
  • Tighten docs messaging and principles
  • Simplify landing page markup and theme toggle logic

@davidgasquez
davidgasquez merged commit da3e6e0 into main Oct 24, 2025
@davidgasquez
davidgasquez deleted the docs-web-refresh branch October 24, 2025 10:02
@github-project-automation github-project-automation Bot moved this from Todo to Done in Planning Oct 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant